The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

In this paper, I defend Rudolf Carnap's Principle of Tolerance from an accusation, due to Michael Friedman, that it is self-defeating by prejudicing any debate towards the logically stronger theory. In particular, Friedman attempts to show that Carnap's reconstruction of the debate between classicists and intuitionists over the foundations of mathematics in his book The Logical Syntax of Language, is biased towards the classical standpoint since the metalanguage he constructs to adjudicate between the rival positions is fully classical. (...) I argue that this criticism is mistaken on two counts: (1) it fails to fully appreciate the freedom with regard to the construction of linguistic frameworks that Carnap intended his Principle to embody, and (2) Friedman's objection underestimates the extent to which the evaluation of a framework is task-relative. I conclude that Tolerance is not self-undermining in the way that Friedman claims it is. While this is a restricted conclusion -- and is not a vindication of Carnap's views on logic and mathematics tout court -- it nonetheless suggests that his tolerant perspective has been dismissed too quickly, even by his supporters. (shrink)

This paper defends the Intention Account of Inquiry. On this account, inquiry is best understood by appeal to a ‘question-directed intention’ (QDI), an intention to answer a question broadly construed. This account’s core commitments help meet recent challenges plaguing extant approaches to characterizing inquiry. First, QDIs are the type of mental state central to inquiry, not attitudes like curiosity or wonder. Second, holding a QDI towards a question and acting in service of it constitutes the start of inquiry. Third, controversial (...) norms which mandate a rational inquirer's ignorance towards the answer to her question can be reformulated and defended by appeal to rational constraints on intention. Fourth, instrumental pressures inquirers face are the standard pressures of plan-rationality. In defending these theses, I show that the Intention Account provides compelling explanations to standing challenges, in ways competitors cannot. It does so by advancing understanding of how our epistemic and practical agency are intertwined. (shrink)

Genealogies in philosophy can be tricky and even a little dangerous. Lines of influence and inheritance run much more linearly on paper than in reality. I am often reminded of Robert Frost's "Mending Walls" and the attention that must be paid to what is being walled in and what is being walled out. In other words, William James and Emmanuel Levinas are not natural conversation partners. I have always read James as a fellow traveler of Edmund Husserl, and placed both (...) in a line of thought that might share Franz Brentano and Wilhelm Dilthey as forebears. In this genealogy, Levinas appears with an asterisk, or after one. Maurice Natanson described Husserlian phenomenology as an elderly grandparent who comes down to dinner just a little bit too early, making everyone uncomfortable. Seating Levinas next to James brings to mind some similar scene. What basic premises or positions do James and Levinas share? Is Levinas a Jamesian pragmatist? Is he a radical empiricist? Does James offer an ethics that parallels or even complements Levinas's rigorous ethical phenomenology? (shrink)

Critics of Dewey’s metaphysics point to his dismissal of any philosophy which locates ideals in a realm beyond experience. However, Dewey’s sustained critique of dualistic philosophies is but a first step in his reconstruction and recovery of the function of the metaphysical. Detaching the discussion of values from inquiry, whether scientific, philosophical or educational, produces the same end as relegating values to a transcendent realm that is beyond ordinary human discourse. Dewey’s naturalistic metaphysics supports his progressive educational philosophy. The duty (...) of education is grounded in its service to democracy; it must help students develop the ability to express, discuss, and develop their moral reasoning through experiential and experimental learning. (shrink)

Boyer proposes that ownership intuitions depend on tracking cues predictive of agents’ motivations to compete for resources. However, the account may mis-predict people's intuitions about ownership, and it may also be too cognitively costly to be feasible. Even so, alternative accounts could benefit by taking inspiration from how the account handles thorny issues in the psychology of ownership.

In this panel, we explore the future of value sensitive design (VSD). The stakes are high. Many in public and private sectors and in civil society are gradually realizing that taking our values seriously implies that we have to ensure that values effectively inform the design of technology which, in turn, shapes people’s lives. Value sensitive design offers a highly developed set of theory, tools, and methods to systematically do so.

Throughout Peirce’s writing, we witness his developing vision of a machine that scientists will eventually be able to create. Nadin (2010) raised the question:Why do computer scientists continue to ignore Peirce’s sign theory? A review of the literature on Peirce’s theory and the semiotics machine reveals that many authors discussed the machine;however, they donot differentiate between a physical computer machine and its software. This paper discusses the problematic issues involved in converting Peirce’s theory into a programming language, machine and software (...) application. We demonstrate this challenge by introducing Peirce’s sign theory as a software application that runs under an open-source R environment. (shrink)

A discussion of L.A. Paul's 'Transformative Experience' from an Author Meets Critics session at the 2015 Pacific APA.

Better understanding the psychological factors related to certainty in one’s beliefs (i.e., dogmatism) has important consequences for both individuals and social groups. Generally, beliefs can find support from at least two different routes of information processing: social/moral considerations or analytic/empirical reasoning. Here, we investigate how these two psychological constructs relate to dogmatism in two groups of individuals who preferentially draw on the former or latter sort of information when forming beliefs about the world- religious and non religious individuals. Across two (...) studies and their pooled analysis, we provide evidence that although dogmatism is negatively related to analytic reasoning in both groups of individuals, it shares a divergent relationship with measures of moral concern depending on whether one identifies as religious or not. Study 1 showed that increasing levels of dogmatism were positively related to prosocial intentions among the religious and negatively related to empathic concern among the nonreligious. Study 2 replicated and extended these results by showing that perspective taking is negatively related to dogmatism in both groups, an effect which is particularly robust among the nonreligious. Study 2 also showed that religious fundamentalism was positively related to measures of moral concern among the religious. Because the current studies used a content neutral measure to assess dogmatic certainty in one’s beliefs, they have the potential to inform practices for most effectively communicating with and persuading religious and nonreligious individuals to change maladaptive behavior, even when the mode of discourse is unrelated to religious belief. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)

Young children show competence in reasoning about how ownership affects object use. In the present experiments, we investigate how influential ownership is for young children by examining their explanations. In three experiments, we asked 3- to 5-year-olds to explain why it was acceptable or unacceptable for a person to use an object. In Experiments 1 and 2, older preschoolers referenced ownership more than alternative considerations when explaining why it was acceptable or unacceptable for a person to use an object, even (...) though ownership was not mentioned to them. In Experiment 3, ownership was mentioned to children. Here, younger preschoolers frequently referenced ownership when explaining unacceptability of using an object, but not when explaining why using it was acceptable. These findings suggest that ownership is influential in preschoolers' explanations about the acceptability of using objects, but that the scope of its influence increases with age. (shrink)

How do young children represent pretend play? One possibility is that recognizing and representing pretend play depends on children’s ability to infer the mental states of the person engaged in pretend play (mentalist account). The two dominant alternative possibilities are that children view as a distinctive form of non-representational behavior (behavioral account), and that children represent pretense by temporarily treating objects as though they have fictional or make-believe properties (flagging account). This chapter provides an overview of the debate between these (...) three accounts of pretend play, but then endorses a fourth position according to which children view pretend play as a form of communication, similar in many ways to drawing. (shrink)

Advancements in artificial intelligence and (social) robotics raise pertinent questions as to how these technologies may help shape the society of the future. The main aim of the chapter is to consider the social and conceptual disruptions that might be associated with social robots, and humanoid social robots in particular. This chapter starts by comparing the concepts of robots and artificial intelligence and briefly explores the origins of these expressions. It then explains the definition of a social robot, as well (...) as the definition of humanoid robots. A key notion in this context is the idea of anthropomorphism: the human tendency to attribute human qualities, not only to our fellow human beings, but also to parts of nature and to technologies. This tendency to anthropomorphize technologies by responding to and interacting with them as if they have human qualities is one of the reasons why social robots (in particular social robots designed to look and behave like human beings) can be socially disruptive. As is explained in the chapter, while some ethics researchers believe that anthropomorphization is a mistake that can lead to various forms of deception, others — including both ethics researchers and social roboticists — believe it can be useful or fitting to treat robots in anthropomorphizing ways. The chapter explores that disagreement by, among other things, considering recent philosophical debates about whether social robots can be moral patients, that is, whether it can make sense to treat them with moral consideration. Where one stands on this issue will depend either on one’s views about whether social robots can have, imitate, or represent morally relevant properties, or on how people relate to social robots in their interactions with them. Lastly, the chapter urges that the ethics of social robots should explore intercultural perspectives, and highlights some recent research on Ubuntu ethics and social robots. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

Purpose – The purpose of the research reported here is to improve comprehension of the socially-negotiated identity of concepts in the domain of knowledge organization. Because knowledge organization as a domain has as its focus the order of concepts, both from a theoretical perspective and from an applied perspective, it is important to understand how the domain itself understands the meaning of a concept. Design/methodology/approach – The paper provides an empirical demonstration of how the domain itself understands the meaning of (...) a concept. The paper employs content analysis to demonstrate the ways in which concepts are portrayed in KO concept maps as signs, and they are subjected to evaluative semiotic analysis as a way to understand their meaning. The frame was the entire population of formal proceedings in knowledge organization – all proceedings of the International Society for Knowledge Organization’s international conferences (1990-2010) and those of the annual classification workshops of the Special Interest Group for Classification Research of the American Society for Information Science and Technology (SIG/CR). Findings – A total of 344 concept maps were analyzed. There was no discernible chronological pattern. Most concept maps were created by authors who were professors from the USA, Germany, France, or Canada. Roughly half were judged to contain semiotic content. Peirceian semiotics predominated, and tended to convey greater granularity and complexity in conceptual terminology. Nodes could be identified as anchors of conceptual clusters in the domain; the arcs were identifiable as verbal relationship indicators. Saussurian concept maps were more applied than theoretical; Peirceian concept maps had more theoretical content. Originality/value – The paper demonstrates important empirical evidence about the coherence of the domain of knowledge organization. Core values are conveyed across time through the concept maps in this population of conference papers. (shrink)

A chapter reviewing recent experimental work on people's conceptions of ownership rights.

This essay explains Jeffrey Friedman's two fundamental and persistent philosophical errors concerning the libertarian conception of liberty and the lack of a "justification‟ of libertarianism. It is ironic that Friedman himself is thereby revealed to be guilty of both an “a priori” anti-libertarianism and an anti-libertarian “straddle.” Critical-rationalist, proactive-imposition-minimising libertarianism remains completely unchallenged by him.

In this paper, I shall defend two main claims. First, Friedman’s famous paper “On the methodology of positive economics” (“F53”) cannot be properly understood without taking into account the influence of three authors who are neither cited nor mentioned in the paper: Max Weber, Frank Knight, and Karl Popper. I shall trace both their substantive influence on F53 and the historical route by which this influence took place. Once one has understood these ingredients, especially Weber’s ideal types, many of (...) F53’s astonishing sentences like “the more significant the theory, the more unrealistic the assumptions”, make good sense. Second, I shall claim that the much-discussed question whether Friedman’s essay espouses an instrumentalist or a realist position, is the wrong question to be asked. I shall illustrate that by a comparison with examples from physics in which also unrealistic assumptions are made. Also there, the question whether these assumptions are indicators of instrumentalism or realism is not appropriate. Cleared from these misunderstandings, F53 presents itself as an interesting and reasonable but much less controversial contribution to the methodology of economics. (shrink)

This article presents a critical analysis of two influential readings of Kant’s Second Analogy, namely, Gerd Buchdahl’s “modest reading” and Michael Friedman’s “strong reading.” After pointing out the textual and philosophical problems with each, I advance an alternative reading of the Second Analogy argument. On my reading, the Second Analogy argument proves the existence of necessary and strictly universal causal laws. This, however, does not guarantee that Kant has a solution for the problem of induction. After I explain why (...) the empirical lawfulness of nature does not guarantee the empirical uniformity of nature, I examine the modal status of empirical laws in Kant and argue contra Buchdahl and Friedman that empirical laws express two different kinds of necessity that are not reducible to each other. -/- . (shrink)

In this paper I study how the theoretical categories of consumption theory were used by Milton Friedman in order to classify empirical data and obtain predictions. Friedman advocated a case by case definition of these categories that traded theoretical coherence for empirical content. I contend that this methodological strategy puts a clear incentive to contest any prediction contrary to our interest: it can always be argued that these predictions rest on a wrong classification of data. My conjecture is (...) that this methodological strategy can contribute to explain why Friedman’s predictions never generated the consensus he expected among his peers. (shrink)

An extensive review of Michael Friedman's recent book.

In a recent series of papers, Jane Friedman argues that suspended judgment is a sui generis first-order attitude, with a question as its content. In this paper, I offer a critique of Friedman’s project. I begin by responding to her arguments against reductive higher-order propositional accounts of suspended judgment, and thus undercut the negative case for her own view. Further, I raise worries about the details of her positive account, and in particular about her claim that one suspends (...) judgment about some matter if and only if one inquires into this matter. Subsequently, I use conclusions drawn from the preceding discussion to offer a tentative account: S suspends judgment about p iff S believes that she neither believes nor disbelieves that p, S neither believes nor disbelieves that p, and S intends to judge that p or not-p. (shrink)

Review of Michael Friedman, Kant’s Construction of Nature: A Reading of the Metaphysical Foundations of Natural Science. Cambridge: Cambridge University Press (2015), 646 pp., $37.99 (paper).

David Friedman posed a number of libertarian philosophical problems (Friedman 1989). This essay criticizes Walter Block’s Rothbardian responses (Block 2011) and compares them with J C Lester’s critical-rationalist, libertarian-theory responses (Lester [2000] 2012). The main issues are as follows. 1. Critical rationalism and how it applies to libertarianism. 2.1. How libertarianism is not inherently about law and is inherently about morals. 2.2. How liberty relates to property and can be maximized: carbon dioxide and radio waves. 2.3. Applying the (...) theory to flashlights. 2.4. Applying the theory to the probability of imposed risks. 2.5. “Homesteading” or initial acquisition. 2.6 What is “essential” for a “true libertarian.” 2.7. Crime and punishment. 2.8. Extent of punishment. 2.9. The libertarian response to a madman with a gun. 2.10. How contradictions in rights are possible. 2.11. The draft. 3.1. Utilitarian libertarianism and “nose counting”. 3.2. How interpersonal comparisons of utility are possible and utility monsters are not a threat. 3.3. Why it is not utilitarian in practice to kill an innocent prisoner to prevent a riot. 3.4. Why David Friedman should not be forced to give up one of his eyes. 3.5. How utilitarians can be libertarians. Conclusion: a proper theory of liberty combined with critical rationalism offers superior solutions to Friedman’s problems. Appendix: replies to two commentators. (shrink)

In this paper I challenge the pernicious aspects of Milton Friedman's methodological outlook that continues to hold sway over mainstream neoclassical economists. I do this by showing how Friedman's own methodological dicta could have been used against him when he famously advanced the expectations critique of the Phillips curve at his presidential address to the American Economic Association. I use this case study to further suggest that psychological and neurophysiological data should not be deemed irrelevant to economic science.

According to Michael Friedman’s theory of explanation, a law X explains laws Y1, Y2, …, Yn precisely when X unifies the Y’s, where unification is understood in terms of reducing the number of independently acceptable laws. Philip Kitcher criticized Friedman’s theory but did not analyze the concept of independent acceptability. Here we show that Kitcher’s objection can be met by modifying an element in Friedman’s account. In addition, we argue that there are serious objections to the use (...) that Friedman makes of the concept of independent acceptability. (shrink)

In this paper I study Milton Friedman’s statistical education, paying special attention to the different methodological approaches (Fisher, Neyman and Savage) to which he was exposed. I contend that these statistical procedures involved different views as to the evaluation of statistical predictions. In this light, the thesis defended in Friedman’s 1953 methodological essay appears substantially ungrounded.

This paper explores the level of obligation called for by Milton Friedman’s classic essay “The Social Responsibility of Business is to Increase Profits.” Several scholars have argued that Friedman asserts that businesses have no or minimal social duties beyond compliance with the law. This paper argues that this reading of Friedman does not give adequate weight to some claims that he makes and to their logical extensions. Throughout his article, Friedman emphasizes the values of freedom, respect (...) for law, and duty. The principle that a business professional should not infringe upon the liberty of other members of society can be used by business ethicists to ground a vigorous line of ethical analysis. Any practice, which has a negative externality that requires another party to take a significant loss without consent or compensation, can be seen as unethical. With Friedman’s framework, we can see how ethics can be seen as arising from the nature of business practice itself. Business involves an ethics in which we consider, work with, and respect strangers who are outside of traditional in-groups. (shrink)

What I want to point out is the “meaning change” that Friedman ascribes to terms and principles, which he calls a priori, in the transition from the old framework to the new: -/- 'This captures the sense, in particular, in which there has indeed been a ”meaning change” in the transition from the old framework to the new: even if the same terms and principles reappear in the new framework they do not have the same meaning they had in (...) the old' (Friedman 2001, p. 99, ft. 37). -/- Following Friedman, we should admit that the same words possess different meanings in different frameworks. In fact, terms and principles that are empirical in an old framework may shift to constitutive status in the new framework, and vice- versa. If Friedman’s account seemed to entrust the prospective rationality of science to constitutive a priori principle, the notion of meaning change suggests instead that Friedman’s argument upholds the Kuhnian account of incommensurability, while we were expecting he aimed to mitigate it. As he clearly states in the passage to follow: -/- 'The later framework is not translatable into the earlier framework, of course, simply because the concepts used in formulating the later framework have not yet come into existence' (Friedman 2001, pp. 98-99). -/- Friedman’s account purports to emphasize that a transition from empirical laws to principles, and vice-versa, should imply a conceptual shift. But is “meaning change” the appropriate expression that may describe such a conceptual shift? What does the word “concept” mean for Friedman? How are concepts related to the meaning of terms? What does the “meaning” mean in Friedman’s view? What is the relation between terms and theories? Does theory change entail a meaning change of scientific terms, that is, do terms determine theory change (i.e. difference in theories is ipso facto difference in terms)? Recently, some specialists (Tsou 2010, for instance) have stressed Friedman’s notion of constitutive a priori principle in light of Putnam’s positive account of apriority. Friedman's and Putnam’s notions of relativized a priori are presented as similar insofar as they both affirm the existence of principles in science, which are revisable and relativized to a particular body of knowledge. However, the similarities do not take into account that Friedman ascribed a meaning change to coordinating principles that are constitutive of the new framework. Could Putnam subscribe such a meaning change? This paper aims to analyse Friedman’s notion of constitutive a priori principle in relation to the problem of meaning change by taking into account Putnam’s theory of meaning and his notion of framework principle. (shrink)

A review of A. Hisch and N. de Marchi's thorough historical study on Milton Friedman's life-long work as an economist (and more specifically as a monetary economist) and as an economic methodologist (in his famous essay "The Methodology of Positive Economics".

Most of Kant's examples for synthetic sentences known apriori have been repudiated by modern physics. Is there a way to modify Kantian anti-empiricist epistemology so that it no longer contradicts the results of modern science? Michael Friedman proposes to relativize Kant's notion of the apriori and thus to explain away the apparent contradiction. But how do we have to understand the relative apriori? I define a sentence to be known apriori relative to a given theory if the sentence makes (...) it possible to test objective knowledge claims that belong within the frame of that theory. Are there sentences that can be known apriori relative to every possible theory, i.e., are there any examples for absolute aprioricity? My answer is to the positive. By weakening Kant's original examples (e.g., the principle of causality) we arrive at sentences that must be true if objective empirical knowledge is to be possible at all. The sentence "Not every change is due to pure chance" is an absolute example for synthetic apriori knowledge. (shrink)

In the 1960s and 1970s, Hilary Putnam articulated a notion of relativized apriority that was motivated to address the problem of scientific change. This paper examines Putnam’s account in its historical context and in relation to contemporary views. I begin by locating Putnam’s analysis in the historical context of Quine’s rejection of apriority, presenting Putnam as a sympathetic commentator on Quine. Subsequently, I explicate Putnam’s positive account of apriority, focusing on his analysis of the history of physics and geometry. In (...) the remainder of the paper, I explore connections between Putnam’s account of relativized a priori principles and contemporary views. In particular, I situate Putnam’s account in relation to analyses advanced by Michael Friedman, David Stump, and William Wimsatt. From this comparison, I address issues concerning whether a priori scientific principles are appropriately characterized as “constitutive” or “entrenched”. I argue that these two features need to be clearly distinguished, and that only the constitutive function is essential to apriority. By way of conclusion, I explore the relationship between the constitutive function of a priori principles and entrenchment. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show that both (...) Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...) one website. Paste the whole URL. http://archive.org/stream/RobertiAudi_The.Cambridge.Dictionary.of.Philosophy/Robert.Audi_The.Cambrid ge.Dictionary.of.Philosophy -/- The 2015 third edition will be available soon. Before you think of buying it read some reviews on Amazon and read reviews of its competition: For example, my review of the 2008 Oxford Companion to Philosophy, History and Philosophy of Logic,29:3,291-292. URL: http://dx.doi.org/10.1080/01445340701300429 -/- Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. The discussion provides an opportunity to bring more flaws to light. -/- Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition. Besides the help received from people in Buffalo, help from elsewhere was received by email. We gratefully acknowledge the following: José Miguel Sagüillo, John Zeis, Stewart Shapiro, Davis Plache, Joseph Ernst, Richard Hull, Concha Martinez, Laura Arcila, James Gasser, Barry Smith, Randall Dipert, Stanley Ziewacz, Gerald Rising, Leonard Jacuzzo, George Boger, William Demopolous, David Hitchcock, John Dawson, Daniel Halpern, William Lawvere, John Kearns, Ky Herreid, Nicolas Goodman, William Parry, Charles Lambros, Harvey Friedman, George Weaver, Hughes Leblanc, James Munz, Herbert Bohnert, Robert Tragesser, David Levin, Sriram Nambiar, and others. -/- . (shrink)

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether (...) or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smoryński's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q. (shrink)

Two questions should be considered when assessing the Kantian dimensions of Kuhn’s thought. First, was Kuhn himself a Kantian? Second, did Kuhn have an influence on later Kantians and neo-Kantians? Kuhn mentioned Kant as an inspiration, and his focus on explanatory frameworks and on the conditions of knowledge appear Kantian. But Kuhn’s emphasis on learning; on activities of symbolization; on paradigms as practical, not just theoretical; and on the social and community aspects of scientific research as constitutive of scientific reasoning, (...) are all outside the Kantian perspective. Kuhn’s admiration for Kant is tempered by his desire to understand the processes of learning, of initiation into a scientific community, of experimentation using instruments, and of persuasion, drawing on the work of familiar influences, including Piaget, Koyré, and Wittgenstein, and less familiar ones, including Langer, Demos, and Frank. Both Kuhn and Kant were interested in the question: what is the status of science, and what is the role of the scientist in its development and justification? But Kuhn presents science in a much more messy, historically contingent, and socially charged way than Kant does. The paper’s conclusion evaluates Kuhn’s reception among researchers including Richardson and Friedman, assessing the prospects for future work. (shrink)

Kant's reasoning in his special metaphysics of nature is often opaque, and the character of his a priori foundation for Newtonian science is the subject of some controversy. Recent literature on the Metaphysical Foundations of Natural Science has fallen well short of consensus on the aims and reasoning in the work. Various of the doctrines and even the character of the reasoning in the Metaphysical Foundations have been taken to present insuperable obstacles to accepting Kant's claim to ground Newtonian science. (...) Gordon Brittan and Gerd Buchdahl, amongst others, have argued that Kant's stated aims in this case are not to be taken at face value, and that prior ontological commitments play a hidden but central role in Kant's special metaphysics. ;Michael Friedman has shown how Kant's stated aims can be taken seriously with his ingenious reconstruction of the Metaphysical Foundations as a demonstration of the a priori basis for our thinking bodies to be in true motion and in absolute space. However, Friedman does not address the issue of matter theory--despite the importance of the issue to Kant. I argue that a strict reading of both the stated aims and doctrines of the Metaphysical Foundations is possible, since much of Kant's reasoning about the empirical concept of matter can be explained by his views on how the construction of empirical concepts is possible. ;Kant's quasi-mathematical constructions are pivotal in Friedman's interpretation. Constructibility is Kant's criterion of acceptability for the concepts of natural science. Yet Kant notoriously fails to construct the dynamical concept of matter, and accepts this failure with an equally notorious complacency. I argue that Kant's criteria of empirical concept construction, apart from any prior ontological commitments, are enough to generate his views on matter. Kant's failure to construct the requisite concept of matter can be ascribed to a missing law of nature, a law of the relation of forces the discovery of which Kant thought imminent. I conclude that matter theory is central to the Metaphysical Foundations, but that this does not undermine Kant's stated aim of giving the a priori ground of Newtonian science. (shrink)

This chapter challenges previous interpretations of the essay by analyzing the essential features of the method it describes. It argues that, even if Kant fails to present a perfectly clear and defensible account of a method for metaphysics, the manner in which he describes this method and the kind of transformation of metaphysical inquiry that he hopes it will accomplish do not testify to a broadly rationalist approach but, in fact, embody the anti-rationalist spirit of Bacon and Newton. While Kant (...) does indeed believe that metaphysics will one day be able to re-adopt the synthetic method, I argue that this is perfectly consistent with the views of Bacon and Newton as he understood them. In contrast with Friedman’s claim, I also show that experience does play a role in Kant’s conception of data and that this is particularly clear if we take into account other texts of the same period. (shrink)

This essay highlights a methodological weakness in Foucault’s genealogy of neoliberalism often mistaken for a biographical shift in his philosophy. Naissance de la biopolitique is sometimes interpreted as evidence for Foucault’s conversion to neoliberalism, whereas its lack of critical acuity stems rather from its methodological limitations. Through a discussion of the “neoliberal conversion”-thesis, I highlight those limitations. Though Foucault’s appreciative tone in his neoliberalism lectures is surprising, his aim is mainly to defamiliarize readers from the dominant mode of neoliberal rationality (...) so that they can affirm the creative potential to foster new conducts, new identities, and new rationalities. Foucault did not convert to neoliberalism, but sought to destabilise it by revealing its historical contingency. However, as Foucault’s surprisingly positive tone shows, this strategy is insufficient for combatting neoliberalism. There is an elective affinity between Foucault’s own politics of creative self-reinvention and neoliberalism’s promise of a non-invasive, post-disciplinary government by indirect economic incentives alone. Foucault’s libertine stance toward subjectivity hence seems easily integrated into a neoliberal conduct of conducts. I propose to supplement Foucault’s genealogical method as he deploys it in Naissance de la biopolitique with an immanent critique of neoliberalism from the perspective of the governed. Rather than investigating neoliberal rationality as a promising endeavour for the future, we can study the real-life implementations of neoliberalism and their effects on subjective conducts. Neoliberal rationality is involved in a permanent struggle to shape the conduct of conducts along entrepreneurial and competitive lines, but subjects are refractory living beings whose conducts are not so simply transformed. Neoliberalism has had to give up its post-disciplinary aspirations and turn to the power of discipline and abandonment to enforce neoliberal norms of conduct. Neoliberalism has transformed into a negative biopolitics that sacrifices the lives of unproductive subjects as collateral damage to the overall welfare of the population. Immanent critique thereby reveals how subjects are pushed beyond their limits until neoliberal norms of conduct become unbearable. This intolerability of neoliberalism cannot be directly deduced from the writings of Becker, Friedman, or Hayek.111 It becomes manifest in the confrontation between neoliberal rationality and the material living bodies of finite human beings unable to be stretched in the ways neoliberalism requires. (shrink)

This essay examines the underdetermination problem that plagues structuralist approaches to spacetime theories, with special emphasis placed on the epistemic brands of structuralism, whether of the scientific realist variety or not. Recent non-realist structuralist accounts, by Friedman and van Fraassen, have touted the fact that different structures can accommodate the same evidence as a virtue vis-à-vis their realist counterparts; but, as will be argued, these claims gain little traction against a properly constructed liberal version of epistemic structural realism. Overall, (...) a broad construal of spacetime theories along epistemic structural realist lines will be defended which draws upon both Friedman’s earlier work and the convergence of approximate structure over theory change, but which also challenges various claims of the ontic structural realists. (shrink)

In this paper we discuss three examples of the appropriation of Kuhn’s ideas in philosophy of science. First we deal with classical logical empiricism. Perhaps somewhat surprisingly, the arch-logical empiricist Carnap considered Kuhn’s socio-historical account as a useful complementation, and not as a threat of the philosophy of science of logical empiricism. As a second example we consider the attempt of the so-called struc- turalist philosophy of science to provide a “rational reconstruction” of Kuhn’s approach. Finally, we will deal with (...) Friedman’s proposal to apply Kuhn’s ideas to the formulation of a modernized, historically enlightened Kantian approach that is based on the concept of a non-apodictic constitutive and historically moving a priori. (shrink)

Newton had a fivefold argument that true motion must be motion in absolute space, not relative to matter. Like Newton, Kant holds that bodies have true motions. Unlike him, though, Kant takes all motion to be relative to matter, not to space itself. Thus, he must respond to Newton’s argument above. I reconstruct here Kant’s answer in detail. I prove that Kant addresses just one part of Newton’s case, namely, his “argument from the effects” of rotation. And, to show that (...) rotation is relative to matter, Kant changes the meaning of ‘relative motion.’ However, that change puts Kant’s doctrine in deep tension with Newton’s science. Based on my construal, I correct earlier readings of Kant by John Earman and Martin Carrier. And, I argue that we need to revise Michael Friedman’s influential view of Kant. Kant’s struggle, I conclude, illustrate the difficulties that early modern relationists faced as they turned down Newtonian absolute space ; and it typifies their selective engagement with Newton’s case for it. (shrink)

ABSTRACT. May scientists rely on substantive, a priori presuppositions? Quinean naturalists say "no," but Michael Friedman and others claim that such a view cannot be squared with the actual history of science. To make his case, Friedman offers Newton's universal law of gravitation and Einstein's theory of relativity as examples of admired theories that both employ presuppositions (usually of a mathematical nature), presuppositions that do not face empirical evidence directly. In fact, Friedman claims that the use of (...) such presuppositions is a hallmark of "science as we know it." But what should we say about the special sciences, which typically do not rely on the abstruse formalisms one finds in the exact sciences? I identify a type of a priori presupposition that plays an especially striking role in the development of empirical psychology. These are ontological presuppositions about the type of object a given science purports to study. I show how such presuppositions can be both a priori and rational by investigating their role in an early flap over psychology's contested status as a natural science. The flap focused on one of the field's earliest textbooks, William James's Principles of Psychology. The work was attacked precisely for its reliance on a priori presuppositions about what James had called the "mental state," psychology's (alleged) proper object. I argue that the specific presuppositions James packed into his definition of the "mental state" were not directly responsible to empirical evidence, and so in that sense were a priori; but the presuppositions were rational in that they were crafted to help overcome philosophical objections (championed by neo-Hegelians) to the very idea that there can be a genuine science of mind. Thus, my case study gives an example of substantive, a priori presuppositions being put to use—to rational use—in the special sciences. In addition to evaluating James's use of presuppositions, my paper also offers historical reflections on two different strands of pragmatist philosophy of science. One strand, tracing back through Quine to C. S. Peirce, is more naturalistic, eschewing the use of a priori elements in science. The other strand, tracing back through Kuhn and C. I. Lewis to James, is more friendly to such presuppositions, and to that extent bears affinity with the positivist tradition Friedman occupies. (shrink)

This chapter examines the legacy of Kuhn’s Structure for normative philosophy of science. As an argument regarding the history of 20th century philosophy of science, I contend that the main legacy of Structure was destructive: Structure shifted philosophy of science away from addressing general normative philosophical issues (e.g., the demarcation problem, empirical testability) towards more deflationary and local approaches to normative issues. This is evident in the first generation of post-Structure philosophers of science in the 1980s and 1990s, who adopted (...) a pluralist approach to HPS. As a metaphilosophical argument regarding the methods adopted in HPS, I argue that there are a plurality of legitimate philosophical methodologies for inferring normative claims from historical cases. I frame this argument as a response to Pitt’s dilemma of case studies. I reject Pitt’s dilemma for its presupposition of an unrealistic and unfruitful standard (viz., epistemic certainty) for assessing HPS arguments and its analysis of philosophical methodology at the level of individual arguments. Pitt’s dilemma is most usefully understood as identifying potential points of criticism for HPS arguments. -/- The chapter begins with an examination of Kuhn’s normative philosophy of science in Structure and his position that historical cases provide evidence for philosophical claims. Kuhn’s philosophical methodology is insufficiently articulated, and his utilization of case studies is subject to objections (viz., interpretative bias, hasty generalization) implied by Pitt’s dilemma. I subsequently examine four post-Kuhnian methodological perspectives: (1) Ian Hacking’s particularism, (2) Helen Longino’s practice-based approach, (3) Michael Friedman’s neo-Kantianism, and (4) Hasok Chang’s complementary science. These views suggest alternative methodological strategies in HPS for addressing normative issues. I conclude by articulating some outstanding methodological challenges for the pluralist tradition of HPS—associated with the Stanford and Minnesota schools of philosophy of science—that emerged in the 1980s and remains influential. (shrink)

Confirming Robinson’s Statement? A Lakatosian Analysis of Keynes and his Immediate Orthodoxy Jesús Muñoz Abstract Was the Keynesian message alive during the second half of the XXth Century, or was it betrayed by his followers? This article in the fields of the history of economic thought and methodology contrasts the Scientific Research Programmes (SRPs), a Lakatosian concept, of Keynes in The General Theory of Employment, Interest and Money (TGT) with those of its immediate orthodox schools: Monetarism (MS), Neoclassical Synthesis (NS), (...) New Classical Macroeconomics – rational expectations – (RE) and General Disequilibrium (GD). The objective is to to assess the immediate impact of Keynes’s vision in economics. It can be concluded according to this comparison that Keynes’s bequeath was alive during the period between 1950 and 1980, but that it was accepted under different names. Many economists deny this statement. However it is hereby argued with the help of Lakatosian methodology that in both economic and philosophical terms the MS, NS, RE and GD SRPs are degenerative variants of Keynes's SRP. The Keynesian reasoning chain -a non self-regulated system, non neutrality on the part of money, organicism, non-ergodicity, historical time and uncertainty- is misunderstood and hence misapplied on the part of these deviant schools, or transformed into “bastard Keynesianism”, to quote Joan Robinson (Joan Robinson, 1975[1973], 125). In other words, Keynes’s economics is different from Keynesian economics as was firstly proposed by Axel Leijonhuvfud (Leijonhuvfud, 1968). The internal history of macroeconomics in those periods is undertaken, since it is is the rational reconstruction of the meaning of a SRP. Section 1 is an introduction to basic concepts related to philosophy of science and methodology, especially Lakatosian methodology, which can be skipped by the specialized reader. Section 2 is an analysis of Keynes’s hard core in his SRP, also being an introduction to the problem as it outlines Keynes’s thinking, Section 3 describes initial Post Keynesianism, which was faithful to the original message. Sections 4, 5, 6 and 7 outline the hard cores of Monetarists, Neoclassical Synthesis, New Classical Macroeconomics and General Disequilibrium, respectively. Section 8 is a comprehensive analysis of the differences between the mentioned paradigms, and hence concludes. References are listed at the end of the article. (shrink)

In A Parting of the Ways Michael Friedman proposed to conceive the contemporary divide between analytic philosophy (AP) and continental philosophy (CP) as the outcome of the bifurcation between the Neokantians of Heidelbarg and Marburg. According to Friedman, Carnap can be characterized as the executor of the Marburg school, while Heidegger is to be considered as the heir of the Southwest Neokantianism. In this paper it is argued that Carnap was much closer to the Southwest Neokantianism than usually (...) recognized. To some extent, Carnap’s project in the Aufbau may be described as an attempt to modernize the Neokantian approach of the Southwest school with the help of modern relational logic. This entails that Carnap cannot be lined so easily with the Marburg school as Friedman assumes. (shrink)

In Der logische Aufbau der Welt, first published in 1928, Carnap aims to rationally reconstruct all objects of cognition by logico-definitional means. As a result, he intends to obtain a fully objective framework in which scientific discourse can take place. This is made possible by the novel method of ‘purely structural definite description’ of all scientifically relevant objects, which is first introduced in the Aufbau. Key to the attainment of this goal is the notion of ‘foundedness’, which Carnap presents as (...) a new basic notion of logic, in order to establish a link between the purely conventional world of logical and mathematical knowledge and the empirical world of knowledge of scientific objects. This idea experienced major criticism by Friedman (1999a,b) since he considers it to lead to the demolition of the boundary between those two worlds. In this essay, we want to defend foundedness against Friedman’s critique by arguing that its introduction is necessary within Carnap’s logicist world of thought to deal with a more fundamental problem: the demarcation of the empirical parts of the Aufbau. In the last section, we will give an outlook on the actual cause for the failure of the Aufbau, the lack of a principle to determine the truth of the instances of the basic relation in the Aufbau, and we will show how this can contribute to the explanation of Carnap’s future philosophical development and retrospective self-evaluation. This essay serves as a dense informal sketch for a later extensive formal treatment of this reading of foundedness and focuses on its implications for the interpretation of Carnap’s post-Aufbau development. (shrink)